Visual Speciication, Modeling, and Illustration of Complex Systems
نویسنده
چکیده
This article introduces and discusses diierent innovative means for visual speciication and animation of complex concurrent systems. We introduce the completely visual programming language Pictorial Janus (PJ) and its application in the customer-oriented design process. PJ implements a completely visual programming language with inherent animation facilities. We outline the transformation of purely visual PJ programs into textual imperative programming languages. The second part of this article investigates animated 3D-presentations and introduces our novel approach to an animated 3D programming language for interactive customer-oriented illustrations.
منابع مشابه
Urban neighborhood regeneration; Interpretive structural modeling of the factors affecting connected public spaces
Urban planning has emphasized quicker, lighter, and cheaper methods in recent years. According to urban studies, urban public spaces are valuable factors for urban neighborhood regeneration. Although, the concept of the network (connectivity in public spaces) is not new, and various authors and researchers had applied and adapted it to different areas of urban planning, it would be a new approa...
متن کاملVisual Language for Behavioral Specifications of Reactive Systems
Complex reactive systems require specifying the relationship of inputs and outputs in the time domain. Typically, such descriptions involve complex sequences of events, often with explicit timing constraints, that combine to form the system's overall behavior. In addition, most reactive systems are highly concurrent and hierarchical. Investigating formal methods for behavior speciication of rea...
متن کاملApplying Formal Software Requirements Speciication in the Development of Control Applications
Observations regarding the development of embedded control systems show that software for these systems is developed by control engineers. Lack of understanding of the application domain prevents employment of software engineers in the controller development process. This is undesirable both for reasons of eeciency and quality of the resulting system. This observation motivated the research, de...
متن کاملModeling of Pressure Dependence of Interfacial Tension Behaviors of Supercritical CO2 + Crude Oil Systems Using a Basic Parachor Expression
Parachor based expressions (basic and mechanistic) are often used to model the experimentally observed pressure dependence of interfacial tension (IFT) behaviors of complex supercritical carbon dioxide (sc-CO2) and crude oil mixtures at elevated temperatures. However, such modeling requires various input data (e.g. compositions and densities of the equilibrium liquid and vapor phases, and molec...
متن کاملVisual Language Syntax and Semantics for Complex Reactive System
We describe the syntax and the semantics of a visual programming language for behavioral speciication of complex reactive systems. Like BNF grammar for specifying the syntax of the textual programming languages , we demonstrate how a visual language syntax can be deened by a rewrite rule language. These rules can act both as visual program generators as well as visual program parsers. At the sa...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007